Verification methodology of compatible microprocessors

As the complexity of high-performance microprocessor increases, functional verification becomes more difficult and emerges as the bottleneck of the design cycle. In this paper, we suggest a functional verification methodology, especially for the compatible microprocessor design. To guarantee the perfect compatibility with previous microprocessors, we developed three C models in different representation levels, z . ~ , Polorzs, MCV(Mzcro-Code Verzfier) and StreC. C models are co-simulated with consistency checking between different two models. The simulation speed of C models makes it possible to test the “real-world” application programs on the RTL design with a software board model. To increase the confidence level of verifications, Pro$ler reports the verification coverage of the test vector, which is fed back to the automatic test program generator. Restortabzlzty feature also helps significantly reduce the total simulation time. Using the proposed verification methodology, we designed and verified an Intel 486-compatible microprocessor